Solomon Feferman - PDFSEARCH.IO - Document Search Engine

Solomon Feferman
Results: 18

#	Item
11	The complexity of computable entailment Benedict Eastaugh [removed] Department of Philosophy University of Bristol Add to Reading List Source URL: extralogical.net Language: English - Date: 2014-05-22 10:36:49 Computability theory Proof theory Epistemology Reverse mathematics Foundations of mathematics Second-order arithmetic Constructivism Entailment Solomon Feferman Logic Mathematics Mathematical logic
12	A. Mostowski Centenary Warsaw, October 2013 Andrzej Mostowski November 1, [removed]August 22, 1975 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2013-10-18 06:12:05 Mathematical logic Andrzej Mostowski Mostowski Alfred Tarski Kazimierz Kuratowski Interpretability Decidability Adolf Lindenbaum Solomon Feferman Mathematics Proof theory Logic
13	What kind of logic is “Independence Friendly” logic? Solomon Feferman 1. Two kinds of logic. To a first approximation there are two main kinds of pursuit in Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2004-11-27 19:12:48 Semantics Predicate logic Quantification Philosophical logic Independence-friendly logic First-order logic Skolem normal form Second-order logic Branching quantifier Logic Mathematical logic Model theory
14	WHAT’S DEFINITE? WHAT’S NOT? Solomon Feferman Harvey Friedman Conference Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2009-08-05 17:46:19 Formal languages Logic in computer science Intuitionism Mathematical constructivism Interpretation Intuitionistic logic Function Peano axioms Constructible universe Logic Mathematical logic Mathematics
15	Tarski’s Conceptual Analysis of Semantical Notions 1 Solomon Feferman Dedicated to the memory of Robert L. Vaught[removed]) Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-08-02 22:05:21 Model theory Philosophical logic Metalogic Predicate logic Logical syntax Alfred Tarski Function Axiom Löwenheim–Skolem theorem Logic Mathematics Mathematical logic
16	Logic, Logics, and Logicism Solomon Feferman In memory of George Boolos Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-08-02 21:41:43 Metalogic Model theory Philosophy of mathematics Philosophical logic Mathematical structures Alfred Tarski Function First-order logic Philosophy of logic Logic Mathematics Mathematical logic
17	Feferman on the Indefiniteness of CH Peter Koellner Add to Reading List Source URL: logic.harvard.edu Language: English - Date: 2011-10-06 07:47:45 Continuum hypothesis Forcing Infinity Zermelo–Fraenkel set theory Solomon Feferman Peano axioms Large cardinal Axiom Conjecture Mathematical logic Mathematics Logic
18	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2008-01-24 13:25:37 Algebraic logic Analytic philosophers Logicians Guggenheim Fellows Metalogic Alfred Tarski Solomon Feferman Robert Lawson Vaught Mathematical logic Philosophy Logic Mathematics

UPDATE